𝘶-substitution: logarithmic function