part of the global synergy » from archive
RT @belyaev_andrey: Using mathematical induction to prove List class definition correctness - very cool. #progfun