ScalaCheck in with a spec for P01