The death of R. Alan Day on November 26, 1990 was a great loss to the community of lattice theorists and universal algebraists. Alan was a hard working, hard playing man whose enthusiasm for mathematics and life will be greatly missed by all of us. This paper concentrates on congruence identities, i.e., lattice equations satisfied by the congruence lattices of all the algebras in a variety. Alt...