## Problem 002 — rank:50

**Title:** Membrane-protein folding

**Added binding assumptions (LaTeX):**

```latex
Include uncompleted translation and removal among the terminal outcomes. Taking $T$ larger than a mean translation time does not make translation completion certain. The displayed probabilities are joint, unconditional masses, not a distribution renormalized over completed chains. The finite-state generator, initial nascent-chain state and protein-length bound are fixed before fitting.
```

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