******************* The algebra of principle parts and a universal property