[negate] [factory] [args] [cond]