Notes on `check` function confusion.