A result that holds by arbitrary construction of a type space does not provide meaningful epistemic ...