\{K_A = 0\} = A^{\complement}