7326cd98b9
They are very similar, and each one has a comment about the importance of being kept in sync with the other. This commit removes the duplication.