Mathematical practice includes the working practices of professional mathematicians: the choice of theorems to prove, the use of check that informal notation to convince oneself and others that the various stages of the final proof are convincing and seek peer review and publication, as opposed to the end result of proved and published theorems.