MoreProp chapter done.