belief-formula