He then elaborates a very creative formal language: Take a domain consisting of a and b, and two signs 'a' and 'b' which refer to these elements.
A convenient fact is that this logic can also accommodate the domain of the null set, as quantificational claims will not need to assume an element in the domain.