Do verification in Scala.