Detta innebär att principen om differentierad integration ha r formaliserats .