Congruence Engine/TaNC Individual meeting, 27 Oct 2022