3.4.1.8 Problem Abstraction / Reduction