As before, if there are variables and quantifiers, we set them to be arbitrary elements of our domain. Here are two examples: