3 ms·given a sufficiently expressive type language, you can express any validationby whateveracct 6y agogiven a sufficiently expressive type language, you can express any validation