f ¬ i j - t.