Title: Can an efficient course in mining be given in four years?