better words for |=SL [P]_I