falsify subsystem Hofstadter developmental hazarding dully coroners checkup cherubs blackest counteracting