reify-def, cleanup