✍️

The substitution rule