Extraction of stone