(: (- c 1) (: (+ r b) []))