We should use PropEr to add even more tests
We should use PropEr to add even more tests