TCV proofs! @ClickFive