Probably as a follow-up refactor we should extract this into something on the validator, so we don't have to keep adding `&&` conditions each time we offer a new way to express assertions.