simplify

_ general examples :: simplify