Under the null of valid specification, pre-tests cannot make post-test inference liberal CREST Working Papers Series No. 2025-03 by Clément de Chaisemartin and Xavier D’Haultfoeuille