  It is interesting to see how the familiar conditions on \(R\) result from setting the values for \(h\), \(i\), \(j\), and \(k\) according to the values in the corresponding axiom. For example, consider (5). In this case \(i=0\), and \(h=j=k=1\). So the corresponding condition is