There is a computer scientists who reads that posts and looks back at his 40 year long career in writing formal logic systems and he is now crying.