Add rule 4.11