2. You replace a predicate or function from the set with some programming structure.
3. Repeat point 2. until exhaustion.
4. ...
5. Profit.