Nice simplification!