They are congruent in the sense of https://news.ycombinator.com/item?id=47988365.