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