<> <> (Test2 N (inv1 N) (inv2 N))