Some solutions for MoreProp