P<=>(TvF)?