p2f :: PropCl -> Prop