A theorem that is prior-free in its formal statement can still require prior-laden choices to genera...