using ScalaCheck for the NameSpec