Truth, Honesty, Geeq, and the Importance of Declarative Programming

Blockchain is data and data are bytes. To say a blockchain is correct is to make a declarative statement that its bytes satisfy certain logical relationships to one another.