K ∈ R