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