Simplify free logic.