12: Mathematics in Type