Here I am on the train
One test passed, another fails
Moved example test to other file
Property tests pass. Time for more.