ae_measurable.min source