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