checkers ignored
Good checkpoint in `check` implementation, almost ready for merge