Add substitution and adjoining operations