Glossary

Giver

Period

Quantifier

Quantifier pool

The quantifier pool is the group of users from which quantifiers are assigned. Admins can add/remove users from the quantifier pool by giving/removing the role QUANTIFIER in the User admin page.

Receiver