https://jml.io/posts/doctests/