Genetically edited mosquitoes haven't scaled yet. Why?
A post on difficulty of eliminating malaria using gene drives: "I worked on gene drives for a number of years jointly as a member of George Church and Flaminia Catteruccia’s labs at Harvard. Most of my effort was spent primarily on an idea for an evolutionary stable gene drive, which...
These justifications of axioms 3 and 4 don't really work together; according to the first one, we shouldn't declare any property perfect before establishing it's possible for an object satisfying it to exist, and then in Axiom 4 we do just that.