finished reuse outputs proof