Quantifer pro

What are we going to write here?

You should probably spend some time with the documentation.

thank you