E does not equal K