adding LabelAlgebra.v