 For each natural number \(n\), we introduce a stock of \(n\)-place predicate letters. These are upper-case letters at the beginning or middle of the alphabet. A superscript indicates the number of places, and there may or may not be a subscript. For example, 