abcxc=dbc