This can be inverted and joined to the check below.