https://lerax.me/programming/lisp-inference/