Five essays on the extraction of an exhaustible resource which has a non-exhaustible substitute