2013. E does not equal K. The Reasoner. 7, 3 (Mar. 2013).