More work on simplification