Typecheck Trademarks