proxy -> reify