(∃x |x ∈ L: x > C )