We identify those properties of these, terms which we wish to accept officially without proof. We express these properties in statements called postulates. Theorems are empirical claims about how things actually are in culture, viz. Culture is the set of all reciprocally ratifiable recognitions, called moves. A meaningful transaction contains at least two reciprocally ratifiable recognitions, called the initiating move and the ratification move, respectively.
Every episode consists of a sequence of transactions and contains at least two moves.
Culture is the set of all moves. Cultural event contains at least two distinct moves. Every transaction is a set of moves and contains at least two distinct moves. If M and N are two distinct moves, they can be linked to form one and only one transactional pair. Two moves form a transactional pair if and only if they are reconstituted as the elements of a transaction, namely as move and reply move, respectively.