pro_resolve seems to work