I think you would be better off calling this ``ForwardSubstitution``
@joker-eph what do you think?