Question 1146531
x + 9 years unless he expires.