4.5 Properties in Problem Solving