Formalist Trademarks