---
type: Pass
title: 01.02.07 Lower
description: Reify the elaborated term into the dependent-CBPV core.
tags:
  - pass
engine: marimo
marimo-version: 0.23.10
width: full
---

```python {.marimo name="setup"}
import marimo as mo
```

# 01.02.07 Lower

`Elaborated → Core`

[01.02.06-elaborate](01.02.06-elaborate.md) is the previous arrow. [01.02.08-normalize](01.02.08-normalize.md) is the next.

This page is the signature. The walker does not have this pass on its own yet.