Proposals for rock excavations