<> <> (Test2B2 N (tester) (testee N (inv1 N) (inv2 N) ) )