either a -> b or b -> a ?