ae_measurable.is_lub source