Formalization Quotes