For mathematicians