Deductive Trademarks