More proposal updates - just need to finish up the lower bound proof summary and then call it done!