Seol mar théacs é seo: Confirmation, empirical progress, and truth approximation