Fixing interpretation of tactics in terms. It was forgetting part of the
environment.