](AC ?B ?D>D=D