---
# System prepended metadata

title: Untitled

---

$\{b | \exists o \quad B(o,b) \wedge \neg \exists s L(o,s)   \}$