TsviBT comments on Open problem: thin logical priors