https://1library.org/document/zx5dm4dw-discrete-infinity-and-the-syntax-semantics-interface.html