add Correctness.scala