Kepler 3.2.4 Simonyi (2012).pdf