/a→c,b→c,c→d/