customizing the reifier