Misleading simplification in the transation chapter

[radeksvarz]

https://github.com/ethereumbook/ethereumbook/blob/develop/06transactions.asciidoc#transmitting-value-to-eoas-and-contracts

If the destination address (to) is a contract, then the EVM will execute the contract and will attempt to call the function named in the data payload of your transaction. If there is no data in your transaction, the EVM will call a fallback function ...

This simplification leads to the understanding that such contract's flow and checks are assured by EVM, while it is rather implemented by higher languages (Solidity, ...).

Minimal proxies are the examples, where such statement is not valid.