In predicate logic, what is a 'universe of discourse'?
The set of all possible values for a variable
The list of all True statements
The conclusion of an argument
The set of logical connectives used