>>>>> "Richard" == Richard Fateman <fateman at cs.berkeley.edu> writes:
Richard> declare(k,integer)
Richard> might be helpful here.
Richard> Do not be fooled into thinking this method is
Richard> more comprehensive than it really is.
Thanks, that works. Although, it's rather goofy since we have k < 0
and k + 1 > 0, we can see that k can't be an integer. :-)
Ray