Joint review of general lattice theory (second edition) and the congruences of a finite lattice: a proof-by picture approach.