<> <> (ArbTest N (Arbiter N))