Ok, that's good, that is one of the things on our list, it's not the simplest thing on our list, but it is one, so, we want it to be the case that if a R b, this implies b R a, that is, if the relation goes one way, then it goes the other. 