0 / 60 seg.

Existential quantifier, there is at least one