Remove proposed `consult`, implement `check` as part of `show`.