get congruence history. scaffold. minor changes in utils