?? vague feeling that that "halting time" problem feels like it should fit into the "superman section" story, but having some trouble getting it to fit ... ?? what would be the map for which we're interested in a superman section ?? ...

?? i guess that this (...) is supposed to involve relating axiom of choice (?? ...) to "occupiedness of domain implies existence of superman section" ?? ... ??? .... ??? ....

?? vague feeling about ... halting time as witness ... ?? checkable putative witness .... ?? ... hmmmm .... suggesting more pieces of story (?? how the halting time problem might fit in to the superman section story ... ??? ...) ... searching ... finding vs checking ... ??? ....

?? superman section of inclusion map from halting computations to computations ??? .... ?? doesn't feel quite right .... ?? should be some sort of intermediate (?? ...) constraint on how stupid the "superman value" should be allowed to be ... ?? should have some superficial plausibility; at least "look like a halting time" ... ?? for the correct problem .... ???? ..... ???? .....

??? extension of map vs of section ... ??? ...

?? projection from computations X times to computations ?? .... ??? ....

?? maybe ask toby about this (...) ?? ... ??to what extent might we have already ?? ....