 However, since the fifth law allows that every pair of incompatible actions generates a third term making the initial dyadic \(O\)-relation a triadic \(O\)-relation, conditional relations require an additional relation that represents both the compatibility of the resulting terms and the asymmetrical order created. Royce proposes the F-relation for this purpose. An \(F\)-relation (like the symmetrical \(E\)-relation) represents the terms of the original \(O\)-relation modified so that they are  compatible.[12]  It also adds an additional symbol (the vertical stroke) to mark the place of the antecedent term that makes the \(F\)-relation  asymmetrical.[13]