14 : Mathematics in Type