Or better yet, from the MDL documentation https://mdl-language.readthedocs.io/en/latest/08-truth/#824-...