## Problem 321 — rank:117

**Title:** Biological function of dreaming

**Added binding assumptions (LaTeX):**

```latex
Anchor latent dream-state labels through a specified report/neural measurement model; latent-state permutation and recall-dependent selection can otherwise change the interpretation without changing the observed law. The sleep-condition contrast may be identifiable while its attribution to dreaming is not. Define the exclusion or mediation assumptions separately and preserve uncertainty in recall, awakening effects and the latent-experience state across conditions.
```

**Direct edits:** 0. **Fresh external checks:** None; supplied sources retained as provenance.