An agreement between a mine owner and tributor that gives the latter the option of buying the mine before the lease expires.