 When O states an elementary statement, she can be asked to produce the local reason specific to that elementary statement, according to the suitable synthesis rule or equality rule. The specific rules depend on the elementary statements at stake: for example, the rules for statements about some object being a natural number will be different from the ones for statements about some individual being French, and so on. Rahman et al. (2018) introduce some examples, including the rules for elementary statements involving the identity predicate.