( (S((C((B IF)(> 1)))1))
 ((S +)   ((B (I CYCLE))   ((C -)1) )) )

SUM, based on fact  from Turner paper.
