Provably Trademarks