¬ n , , a i b.