The distinction between true and valid in this sense seems useful. In practice, my first interpretation says that "5324+2326=7650" is true, while the second says it is valid.