...mild skepticism relating to how current work on the Lobian obstacle hasn't yet taken a shape that looks like it fills the logical-counterfactual symbol in UDT...

Please take a look at my adaption of parametric polymorphism to the updateless intelligence formalism.