Squark comments on Overcoming the Loebian obstacle using evidence logic

[Squark]

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