Welcome to the Formal Process