閱讀來源：Glazier 2026
Glazier 問：基礎形上學（fundamental metaphysics）應交出什麼成果。他把這項研究分為兩部分：內在基礎形上學研究基礎實在本身；外在基礎形上學研究基礎實在與其餘實在的關係（Glazier 2026: 1–2）。
概括基礎真理（summarize the fundamental truths）
內在基礎形上學若以列出所有基礎真理為目標，會收入大量不值得知道的細節。任意兩顆電子相距多少普朗克長度，可能是一條基礎真理，卻未必具有研究價值（Glazier 2026: 2–3）。
Lewis 用「局部個別事實的巨大拼圖」描述休謨隨附論。所謂拼圖，是說世界由一件又一件的局部事實組成；每一塊只記錄某個位置有什麼情況（Glazier 2026: 3）。卻不會因此多出「世界是由這些局部事實組成的」。這句話不是另一個局部事實，而是對整個世界的說明（Glazier 2026: 3）。
但這項說明正是形上學想知道的。逐條列出基礎真理並不夠，內在基礎形上學也要說明這些真理合起來呈現出什麼樣的世界（Glazier 2026: 3）。
Glazier 把這項工作稱為概括基礎真理。他暫時借用最佳系統的想法：尋找一套真正的演繹系統，在公理的簡潔性與關於基礎實在的資訊量之間取得最佳平衡（Glazier 2026: 3–4）。
完整立基組（full ground）可能包含無關細節
外在基礎形上學常被理解成列出每條 立基 的真理，其中 是基礎真理， 是非基礎真理。Glazier 認為，這仍保留了太多細節（Glazier 2026: 4–5）。
「有恆星」可能由大量粒子的精確排列所立基。那些粒子恰好是哪一些、彼此精確相距多遠，或許都屬於完整立基組，卻不是恆星之所以存在時真正重要的資訊。相關內容更接近「有一大群粒子以大致如此的方式排列」（Glazier 2026: 5）。
外在基礎形上學的目標，因而應是找出基礎真理中什麼與一條非基礎真理的解釋相關，而非保存每個完整立基組的細節（Glazier 2026: 5）。
不可省略仍不足以構成相關性
Glazier 先考慮一個自然提案：若某命題是完整立基組中不可省略的立基項（ground-part），它就與解釋相關。失業補助屬於總收入，可以由稅法、該筆款項是收入，以及它是失業補助所共同立基；但稅法也規定所有來源的收入都屬於總收入。改用這條規定後，完整立基組裡就不需要「它是失業補助」。這項資訊是可省略的，也就與解釋無關（Glazier 2026: 6）。
交通號誌案例顯示不可省略性仍太寬。某盞燈是深紅色，因而是紅色，因而具有號誌顏色。若完整立基組裡只有「這盞燈是深紅色」這個命題，它自然是不可省略的；但燈具體是哪一種紅並不重要，相關資訊只是它是紅色（Glazier 2026: 6–7）。
從立基者中抽去細節
這裡的抽象（abstraction）無關抽象物，而是刪去命題中的細節。例如，把「這盞燈是深紅色」改成「這盞燈是紅色」：後一句少了特定色調，卻仍保留解釋它為何具有號誌顏色所需的資訊。下文所說的「較弱」，也只是資訊較少，不是解釋力較差（Glazier 2026: 9–10）。
反事實的比例性分析可以由深紅色抽象到紅色，卻難以處理必然命題。在標準語意下，帶有不可能前件的反事實句空洞為真；結果是必要命題會被任何較不具體的命題屏蔽（screen off），無法與任何解釋相關。可是 顯然與「25 是平方數」的解釋相關（Glazier 2026: 7–8）。
Glazier 改用精確蘊涵（exact entailment）。若前件的每一個使真者（truthmaker）同時也是後件的使真者，前件便精確蘊涵後件。這能阻止普通模態蘊涵把「櫛瓜很好吃」或其他無關真理帶進來（Glazier 2026: 9–10）。
合格的抽象還需要滿足幾個限制：它和其餘立基者必須精確蘊涵目標，不能退化成目標本身，並且在保持凝聚性（cohesion）的條件下盡量弱。凝聚性要求一個命題的使真者形成連通集合，避免「紅或綠」這類在兩個解釋因素之間擺盪的選言命題（Glazier 2026: 10–13）。
但「盡量弱」不保證總有終點。Burj Khalifa 高 829.8 公尺，這立基了它高於 800 公尺；我們可以依序抽象成高於 829、828、827 公尺，卻無論停在哪裡都還能再弱一些，又不能直接退到待解釋的命題。這種不存在最弱抽象的稠密案例，不應任意挑選門檻，而應保留原來的立基項（Glazier 2026: 13）。
立基解釋相關性的程序
Glazier 最後提出三個步驟。先找出目標命題的立基者中具有凝聚性且不可省略的立基項；再對同一完整立基組中的單一或多個立基項進行最弱的合格抽象；若某候選項目嚴格包含另一候選項目的細節，就刪除前者（Glazier 2026: 14）。
以牆面油漆為例，牆寬十二英尺、高八英尺，加上油漆的覆蓋能力，共同立基「這桶油漆足以塗滿牆面」。分別弱化寬度或高度，仍會保留無關資訊；把兩者一起抽象成「牆面積小於一百二十平方英尺」，才得到真正相關的解釋因素（Glazier 2026: 9, 14）。
這套程序把立基解釋相關性（grounding-explanatory relevance）理解成：從所有解釋因素中去除多餘細節後留下的內容。基礎形上學所需的成果，因此包括對基礎真理的概括，以及基礎真理中與非基礎真理之解釋相關的部分（Glazier 2026: 14–16）。