For example, it maybe that we are generating a super set of the input domain that is to say we're generating invalid inputs, but it's also likely that in many cases we're generating a subset of the domain. 