Added some more annotations to the proposal sections for porting