18.2.15.

    a R b
   ~c S d
4.3.15. 7.3