:: deftheorem defines SCM-Memory AMI_2:def 1 :
SCM-Memory = {NAT} \/ SCM-Data-Loc;