, ¬ a i.