C2 v4 §5.1: |H/~D| = 2  |H/~*| = 3  tests = [(), ('r',)]
C1,C3 random finite systems checked: 3000
C4 monotonicity cases: 2187
