Rule 11: If you haven't solved it and reach this rule, one of your assertions is incorrect. Start over.