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