this is where the metalogic part of the proposal comes in, asking "which maps fit the territory" "all entry points are true" is indeed the first step in finding arbitrary weird machines, "which are useful?" starts narrowing it down that philosophy postdoc role is absolutely load-bearing
