The same AM dependency tree may represent multiple indexed AM terms, because the order of apply and modify operations is not specified in the dependency tree.
it can be shown that all well-typed AM terms that map to   Fig.