take Stop SCM+FSA ; :: thesis: ( Stop SCM+FSA is good & Stop SCM+FSA is keeping_0 & Stop SCM+FSA is really-closed & Stop SCM+FSA is parahalting )
thus ( Stop SCM+FSA is good & Stop SCM+FSA is keeping_0 & Stop SCM+FSA is really-closed & Stop SCM+FSA is parahalting ) ; :: thesis: verum