theorem :: SCM_HALT:30

canceled;