What a shame. By the way, how much is the salaries of these former presidents?