Formalize Trademarks