𝘶-substitution: defining 𝘶