Artifact: discipline-specs2_0.27