sequential substitution system

Input interpretation

sequential substitution system