progress on proof caching