[[1=][][dup pred fac*]cond]fac
6fac