Artifact: cats-laws_sjs1.0-RC2_2.13