Update Teardown instructions explicitly. 

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