Ayer's Verification Principle