Verification of Truth of Statements