Verifiability theory of meaning