Arriving at the Formal