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. Episodes form relationship if they are cumulated as a joint record. No transaction contains all moves possible in a culture.