a i a ¬.