new rules, now in the same order as in the documentation proof.pdf