A Formal First