implement undecidable rule.