/a→c,b→c/