Declarative Trademarks