Definable Internal Validity