Traci proofs