The paper describes a unifying approach to Bol, Moufang, extra, Buchsteiner and conjugacy closed identities of loop theory.