Verification of Belief-Based Ideas