pay(c,d,1).
pay(d,d,2).
pay(c,c,3).
pay(d,c,4).