The Congruence Engine’s pipeline: an updated metaphor

Pipeline sketches