working towards groupoid proof for cauchy