We now terminate in reverse dependency order