Zellers_congruence class added