[mokhtaro]

Let's assume that the relation between A and B is the same as the relation between C and D