A craftsman is using a hammer to shape a piece of stone.