E¬K^