Evolution and Rationality: Schelling formalized