(VAR x) (RULES cd(TRUE, x) -> cd (x > 0, x - 1) )
content may be truncated. 'popout' for larger text window.