Title: Mining Arithmetic Designed for the Use of Mining Students