But I think especially from a computer science perspective, it's actually quite useful, not effort, because in computer science, I'm often interested in something that's decided well, so we may have a predicated, as called Q, which gives me, for every natural number a proposition.