Fix confusing subscripting in valid substitution definition #2
Description
Definition of valid substitution uses sigma (a metavariable) may imply it is a parameter to the relation (it is not)
{{ message }}
Definition of valid substitution uses sigma (a metavariable) may imply it is a parameter to the relation (it is not)