](AC ?B +?D>D