The "congruence" hashing and equality mentioned in #31 and #32