assoc finished for ZZ. Proofs on index and reverse to do now