i ¬ a at