F identity_matrix(size)
   V matrix = [[0] * size] * size
   L(i) 0 .< size
      matrix[i][i] = 1
   R matrix

L(row) identity_matrix(3)
   print(row)