Actually-working consistency check. We lied about the last commit.