Title: Notes and formulae for mining students