Finish MoreInd.v