--- Day changed Wed Jan 01 2020
22:25 < kcalvinalvin> oh geez I think I know why the new way of doing genproofs is similar to the old reading from the files method