>чтобы всегда количество погружений равнялось количеству всплытий
если "всегда" значит "в каждый момент времени", то все время от момента погружения до момента всплытия условие "всегда" не выполняется, т.к. погружений уже на одно больше :) так что Нумер прав, надо чтобы было не всегда, а просто равно :)