The substitution in P4 therefore smuggles in the very continuity and differentiability assumptions t...