Fixed #188 by making 2.12 an unverified rule, as it cannot be deterministically verified.