Text this: The mining law of 1872