DIFT+(s<+ E' A