This is the `check` option to solve.