Benya comments on A model of UDT with a concrete prior over logical statements

[Benya]

Indeed I do and indeed it does. Thanks!