Working on <= P_And. Proved it for x = true.