Brute, lobcheck, and check all pass trivial test