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