Combination of Decision Procedures: Slide 132 of 172.

Click slide for next, or goto previous, or back to thumbnail layout.