Wait a minute! To be in EF', an outcome must be in both E and F', so it cannot include the whole of E in this case.