Meaning and Verification

