  clean: sextic 60/60 accepted, cells 120/120 accepted
  sextic, t2 := 0: rejected 60/60
  sextic, t1 *= 3/2: rejected 60/60
  sextic, t2 *= 4: rejected 60/60
  sextic, t0 += 1/100: rejected 60/60
  sextic, t1 -= 1/100: rejected 60/60
  sextic, t1 := 7/20 (a < 0.65): rejected 60/60
  sextic, u2 := 39/20 (kappa4 > 0 side): rejected 60/60
  cells, P *= 9/10: rejected 120/120
  cells, c0 -= 1/1000: rejected 120/120
  cells, u2 += 1/20: rejected 120/120
  near-dictator with a >= 17/20: rejected; with uF = 2: rejected
  sextic tiling with one box removed: rejected
NEGATIVE TESTS: ALL BEHAVE AS EXPECTED
