Finish some proof readings