annotated max_uncovered because this is getting out of hand and hard to keep track of