https://9lib.org/document/z3dl8nwm-x-let-r-x-n-t-x-defined.html