notes on simplification