Algebraic properties and justification