Thats wrong. Either lastSummerSemester or lastWinterSemester must always be equal to the current semester.
Maybe I should have added a comment for that.