𝘶-substitution intro