Text this: Implication and axiomatization of functional and constant constraints.