real-supinf expanded
