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