The verifiability theory of meaning