) i ¬ , i .