Typographic adjustments. Added Formalize