let
segV x y =
let
p z = (snd (f x)=
'-'
)
in
for_all p (segO x y)