Document two cases with a correct but non-optimal result