K = 0

to fx | i j =
  for i 1 K-1
    for j 1 4
      i = j
 