NO peak a() *<- b() ->* c() is not joinable