<> <> (Test2B N (tester) (test2B N (inv1 N) (inv2 N) ) )