User blog comment:DerivedSugar177/Doom Function/@comment-31966679-20190704171544/@comment-34422464-20190710152013

Milky isn't blind, you didn't make an inductive definition, just going by a case by case basis.