Artifact: cats-mtl-laws_sjs1_3