 Investigations of the axiomatized rational reconstruction of theory shed light on the power and promises, and weaknesses and incompleteness, of the highest-level theoretical edifice of population genetics. 