only assume reflexive P