Groth: an associativity law proved.