  J2: Lemma 3.5(b),(c) brute force N<=40: violations = []
