The rock is hard. The rock-cutter is patient.