y,¬]