dEX x AST