congruence and antichain headers