 To formalize the statement as a single logically valid sentence we need: (1) to express asymmetry and anti-symmetry, and (2) to quantify over binary relations. In a suitable first-order language including \(R\) as a binary relation symbol, to express that \(R\) is asymmetric we write: