Extensional Trademarks