invocation: rephrase slightly the proof rules to be less confusing down the line

invocation: rephrase slightly the proof rules to be less confusing down the line #567