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