The Formal Route