Congruence and Parallelism