logRealityϕ(01) — Deca