Begin with the contradiction the whole module resolves: smart contracts promise immutability — deployed bytecode cannot change — but developers need b… First-principles module in Smart Contract & Execution, with a mastery quiz.