🎓 Expert Mastery Questions (Questions 6–20)
6. In the transcript, how is the term "calculus" disambiguated for legal engineering?
A) As a systematic "battlefield decision framework" for evaluating complex choices under constraints rather than differential geometry.
B) As a method for measuring kidney stones in medical law.
C) As a specific brand of pocket calculators used in accounting.
7. What model of computation was introduced by Alonzo Church?
A) Lambda calculus, a functional model operating directly on text expressions through substitution and function abstraction.
B) Mechanical punch card sorting machines.
C) Quantum superposition registers.
8. How does Alan Turing's computational model compare with Alonzo Church's model?
A) Turing developed state-based machines, whereas Church developed functional text models; both were proven mathematically equivalent.
B) Turing modeled computation on legal court dockets, whereas Church modeled it on stock trading.
C) Turing rejected Church's work as mathematically impossible.
9. Why is Alonzo Church's lambda calculus uniquely relevant to lawyers?
A) It demonstrates that written text itself serves as a universal functional computing interface for legal specs.
B) It was originally drafted as a Delaware statutory amendment.
C) It requires lawyers to memorize binary assembly code.
10. What principle does the Church-Turing thesis establish for contract runtimes?
A) Any computable legal function expressed in natural language can be compiled and executed on an equivalent state machine runtime.
B) State machines can never simulate natural language contracts.
C) Contracts can only be executed on centralized mainframe servers.
11. What is the fundamental legal difference between native USDC and bridged USDCE?
A) Native USDC preserves issuer compliance and court enforcement, while USDCE relies on third-party bridge contracts restricting judicial remedies.
B) USDCE is backed by gold bars, while USDC is backed by silver.
C) Native USDC cannot be transferred across digital wallets.
12. How do regulated stablecoin issuers enforce court freeze orders on-chain?
A) Through built-in admin blacklist function calls that restrict address transfers upon receiving valid judicial warrants.
B) By shutting down the entire Ethereum network globally.
C) By filing paper appeals with local police stations.
13. What legal risk is introduced when using Layer 2 bridge contracts?
A) Bridge smart contract risk and jurisdictional ambiguity regarding which court has authority over vault smart contracts.
B) Bridges automatically delete user wallet private keys.
C) L2 tokens expire after 24 hours if unspent.
14. How do smart legal wrappers mitigate cross-chain bridge disputes?
A) By binding off-chain operating LLCs to on-chain vault states with explicit choice-of-law provisions.
B) By banning all international transactions.
C) By forcing smart contracts to be re-written in C++.
15. What role does programmatic consideration play in decentralized stablecoin transfers?
A) It provides legal consideration for execution through gas fee payments and token transfer approvals.
B) It eliminates the need for any underlying asset collateral.
C) It allows users to reverse completed transfers retroactively.
16. Which historic institution was highlighted as the first university in history, founded and governed by law students?
A) University of Bologna (1088 AD), established as a student-managed guild (*universitas scholarium*).
B) Harvard Law School in 1920.
C) Oxford University Engineering Department.
17. What mathematical evolution parallel was drawn between legal formalization and English mathematics?
A) The introduction of the equal sign (`=`) by Robert Recorde to formalize mathematical equivalences, mirroring formal legal syntax.
B) The invention of roman numerals for court dockets.
C) The use of abacus beads for calculating jury verdicts.
18. How does historical merchant law (*Lex Mercatoria*) connect to modern decentralized protocols?
A) Both developed borderless, self-enforcing commercial rules based on peer consensus and private arbitration outside sovereign courts.
B) Merchant law required all transactions to be approved by royal decree.
C) Lex Mercatoria applied only to maritime fishing vessels.
19. Why is media production quality (such as human voice actors) emphasized in computational law education?
A) To prevent synthetic audio fatigue and ensure high engagement with complex legal engineering concepts.
B) Because AI voices are legally prohibited in classrooms.
C) To satisfy traditional radio broadcasting regulations.
20. How does the student attestation ledger record quiz completions?
A) By generating a Keccak-256 cryptographic hash of submitted answers and logging it to the public student attestation registry.
B) By sending a physical postcard to the student home address.
C) By printing a paper certificate stored in a filing cabinet.