machines at unknown state should be destroyable