They should be semantically equivalent since there is no possible way for found to go unassigned, but I have a habit of writing like there is no optimizer.