The compiler should have valid rules, not invalid ones.