Suppose a teacher started work in Texas in 2010 at age 22, and it is now 2038 and he is 50. If his salary is $60,000 and he quits, what is his annual lifetime benefit and when does it start? If he is still teaching in 2048 and he is 60, and his salary is $80,000 [about 3% salary inflation], what is his annual lifetime benefit and when does it start? Here is the benefit formula: => (years of service) x (salary in last year) x (2.3%) annual lifetime benefit starting at age 65, or starting as early as age 60, if age + years of service totals 80 or more