Integration/Substitution/dx version/Fact