not-true-or-equivalent?
vonuvoli
predicate;
predicate
vs:booleans
(vonuvoli booleans)
vs:base
(vonuvoli base)