 The \(O\)-relation is transformed into an \(F\)-relation by negating one of the three terms, selecting one term as the antecedent and another term as the “origin.” This is written as \(F (\neg A | B\: C)\), where the term to the left of the vertical stroke is the antecedent, and the two remaining terms are the consequent and the action “in terms of which” the antecedent and consequent are so ordered. The expression can be read: If \(A\) is not taken then \(B\) follows with respect to \(C\). “It is this origin, [\(C\)],” Royce observes, “which gives ‘sense’ to the pair [\(A\: B\)] in the expression [\(A \supset B\) with respect to \(C\)]” (1905, 407).