Formalization

Last updated