<> <> (Test1Top N (t L))