simplification (in example)