let
b f x y = ((fst (f x)) =
'b'
)
&&
(y--> diag (fst x) (snd x))
&&
(segV x y)
&&
(rr f x y)