for il, k being Nat holds NIC ((SCM-goto k),il) = {k}