Can you add short explanation for these two functions. Perhaps `do-check` is hopeless, though.