Integration/Substitution/Remark