Rationale:

Too big a change.  Furthermore, implementors report checking both before p and after p, and don't want to change this behavior.

Duplicate: 233