for a being Int-Location holds not Stop SCM+FSA destroys a