Lots of extra test cases and a statement for the left hand side of proposition A.2.