not-false?
vonuvoli
predicate;
predicate
vs:types-negated
(vonuvoli types negated)
vs:booleans
(vonuvoli booleans)
vs:types*
(vonuvoli types)
vs:base
(vonuvoli base)