Formal Upstyling