Ah I guess that is true! There's no reason to have them unless you need them since it would make the language simpler. Also I am beginning to see that loops actually can lead to programs which are hard to reason with, so if anything I guess they would want to not include them unless absolutely necessary.