[mannykannot]

> However, if we found life on Mars that same Bayesian reasoning would imply a meaningful lower limit on p as well.

If we found life on Mars tomorrow, how well-defined would that lower limit become?