  We study a variety of loops, RIF, which arise naturally from considering
inner mapping groups, and a somewhat larger variety, ARIF. All Steiner and
Moufang loops are RIF, and all flexible C-loops are ARIF. We show that all ARIF
loops are diassociative, thus generalizing Moufang's Theorem.
