https://5dok.net/document/6zkvop4q-domain-generality-higher-order-theory-transfer-marble-belief.html