 Though belief is not commonly taken to be veridical, believes are typically taken to be consistent. I.e., agents are taken to never believe the contradiction that is, any formula equivalent with \((p\wedge\neg p)\) or \(\bot\), for short. That believes should be consistent is then captured by the principle