reconsider I = [0 ,{} ] as Instruction of SCM+FSA by SCMFSA_1:4;
take I ; :: according to AMI_1:def 9 :: thesis: I is halting
thus I is halting by Th103, AMI_3:71; :: thesis: verum