not-generic<?
vonuvoli
procedure;
procedure
vs:comparisons-negated
(vonuvoli comparisons negated)
vs:comparisons*
(vonuvoli comparisons)