Comment by nicolasd

Thanks for the detailed answer and coming up with a property-based test that is not a "1+1=2" example :)