https://jml.io/test-doubles/