>¬A^