E Does Not Equal K. tr 2013, 7 (3).