An attempt to prove (to certain heathen) that for loops and while loops fundamentally *are* the same.