pseudo: be consistent and by default do no simplification