example 3 simplification