Where does “mm” come from?