path=?
vonuvoli
procedure;
procedure
vs:comparisons
(vonuvoli comparisons positive)
vs:paths
(vonuvoli paths)
vs:comparisons*
(vonuvoli comparisons)