turns out: ind-cong is a special case of H.cong₂