ThisSpaceAvailable comments on Overcoming the Loebian obstacle using evidence logic

[ThisSpaceAvailable]

But doesn’t this depend on the idea that strong evidence of strong evidence of X is strong evidence of X? And isn’t that in fact a false assertion?

[Squark]

My definition of str is s.t. that strengths get multiplied when “recursing”.