,¬A^