Ricjhill
forAll(Gen.string(), Gen.string()) { a: String, b: String -> (a + b).length == a.length + b.length }