patch up the namespace dec
Cond is a far better choice here