And so if we want this quantity to be negligible, this is what we want, we want to say that no adversary can defeat the MAC 'I sub F', that implies that we want this quantity to be negligible, in other words we want the output space to be large. 