Why do we need reify here?