(AxD) is an ast