(~p0 /\ (<1>T /\ ~(<2>T)) /\ (<1>p0 /\ ~(<2>p0))) -> ([0]p0)