Purity-F, if it bars forms from having any contrary predicates, collapses into an implausibly strict...