use isContra instead of just checking for PFalse