Zellers Congruence Readme commit