nice simplification!