Moved (gensym) where it belongs, or rather, where it is needed at the moment