Why `max_checks != 1` ?