first new assoc proof
new assoc proof and updated text