The weaker, purely conditional statement 'If we exist, the constants must be right' suffices to capture the observation selection effect

According to Weisberg, Sober’s analysis fails due to its incorrect identification of the observation selection effect OSE with “We exist, and if we exist, the constants must be right”. Weisberg argues that the weaker, purely conditional, statement “If we exist, the constants must be right” (Weisberg 2005: 819, Weisberg’s wording differs) suffices to capture the observation selection effect. But if we interpret “OSE” as this statement, there is no reason to suppose that the inequality \(\eqref{os