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