reify and reflect