|¬K^