y¬Xf