Debugging Trademarks