This if is now always true due to the loop guard, right?