acq¬ φ