¬y ¬P