New assoc proof, and new trace