E does not equal K (The Reasoner, 2013)