Read through 84% of MoreProp.v