Add first real property-based test!