Excavating in bedrock