No, this is the right namespace

pushed is used in nerdz, but it's totally general purpose and does not depend by NERDZ in any way. 
So, there is no reason for being inside a NERDZ namespace.