morecoq: only the 4 star to go