Question 1 - At any given block in the chain, Ethereum has one and only one 'canonical' state, and the Etheruem virtual machine (EVM) is what defines the rules for computing a new valid state from block to block. Does EVM understand smart contract programming languages? *