 And one of the first things that Lawrence and I and Mike and our team, we ask about is what are your income sources going to be for retirement? And because he worked for the government, he was under the new retirement system. So he got a small pension from the government and he received social security and she was getting social security as well. So altogether between those couple sources of income, they were bringing right around $70,000 a year worth of income. So their $5.7 million nest egg that they had