People had this argument in the late 1970s and your viewpoint won, although nobody seems to have noticed. Of course you need break or return or something like that to write a linear search that doesn't have a confusing condition variable.