Moreover, there is overlap between sets and truth values if we adopt the common conventions of identifying the truth values truth and falsity with the numbers and respectively, and of identifying each natural number with the set of its predecessors.