Artifact: algebra-laws_sjs1_3.0.0-RC2