theorem :: AMI_3:26

halt SCM = [0,{},{}] ;