loc in NAT by ORDINAL1:def 12;
hence [6,<*loc*>,{}] is Instruction of SCM by AMI_2:2; :: thesis: verum