Artifact: algebra-laws_3.0.0-M1