Trail of Bits conducted a smart contract | Negation Game