That would have been right if we were talking about EF. But we are using the complement of F.