Title: Quarryman and Contractor's Guide; or, How to Remove Rock at Least Cost