Yes, that’s very true. I recognized that in 2014. It was hard, but I stopped doing research on formal proof. I got an economics degree and found that the Cit

Yes, that’s very true. I recognized that in 2014. It was hard, but I stopped doing research on formal proof. I got an economics degree and found that the City of Austin to pay off its $3 billion dollar pension debt … and encountered the same problem you mentioned, again. Except this time my plan is to run for City Council and be their next-level superior.