||2of(unzip(as))|| = ||map(c;rel_primed_vars(r))|| 
9. i < ||2of(unzip(as))||
2of(unzip(as))[i] map(c;rel_primed_vars(r))[i] as = zip(rel_primed_vars(r);2of(unzip(as)))
Collection(Term)
Term) List
i:. i < ||as|| 
2of(as[i]) c(1of(as[i])) 
s:Term List.
||s|| = ||map(c;rel_primed_vars(r))|| & (i:. i < ||s|| s[i] map(c;rel_primed_vars(r))[i])
& as = zip(rel_primed_vars(r);s)| 1 | ||2of(unzip(as))|| = ||map(c;rel_primed_vars(r))|| |
| 2 | 8. i: 9. i < ||2of(unzip(as))|| 2of(unzip(as))[i] map(c;rel_primed_vars(r))[i] |
| 3 | as = zip(rel_primed_vars(r);2of(unzip(as))) |
About:
 |  |  |  |  |  |  |  |  |  |