Groth: ugly assoc proof, needs cleanup