Finished MoreProp.