Rav Soloveitchik and the Definition of Mehadrin