Also renamed the `constraint` argument to `check` to better represent which
part of the constraint the provided `Q` object represents.