finite?
vonuvoli
predicate;
predicate
r7rs
vs:arithmetic
(vonuvoli arithmetic)
vs:base
(vonuvoli base)
vs:r7rs