substituting expressions forward