MoreProp chapter.