Lazy rule: Can’t reach it. Don’t need it