removed unused Proof Info
removed animation refinement
huge improvement to error handling (now with 200% more clean recommendation)