Update on Feb 6th for homework prop and morecoq