 Here is an example that liberalizes the Formal Rule so as to give special permissions to players when elementary statements involve the \(\Id\) predicate. Each player is allowed to play \(\Id(c_i,c_i)\). Moreover, each player is allowed to state \(\Id(c_j,c_i)\) if \(\Id(c_i,c_j)\) has been stated previously, as well as \(\Id(c_i,c_k)\) if both \(\Id(c_i,c_j)\) and \(\Id(c_j,c_k)\) have been stated previously. Finally, if \(\Id(c_i,c_j)\) and \(\varphi(c_i)\) have been stated previously, they are allowed to state \(\varphi(c_j)\).