For mathematicians: