Update Teardown instructions explicitly.

Explicitly define halting and destroying instructions. Leaves no room for implicit assumptions.