This check should also be added to a `check` function