 The point of material dialogues is that each elementary sentence involving a set such as \(a: A\)—where \(A:set\)—requires a special adaptation of the Socratic Rule (i.e., the rule about elementary sentences which replaces the standard Formal Rule). This special Socratic Rule prescribes, for each elementary statement, what a player is committing to when making that statement. Note that these rules are not player independent, they belong to the structural rules. This amounts to the following general points.