A modest reasoner never believes B p → p {\displaystyle {\mathcal {B}}p\to p} unless they believe p {\displaystyle p} .
Скромний розмірковувач ніколи не вірить B p → p {\displaystyle {\mathcal {B}}p\to p} , якщо тільки він не вірить p {\displaystyle p} .