We do not influence the course of events by persuading
people that we are right when we make what they regard as radical
proposals. Rather, we exert influence by keeping options available
when something has to be done at a time of crisis.

The E language provides
a convenient and familiar notation
for the ELib computational model, so you can program in one model
rather than two. Under the covers, this notation expands into Kernel-E,
a minimalist lambda-language much like Scheme or Smalltalk.

Objects written in the E
language are only able to interact with other objects according
to ELib's semantics, enabling object granularity intra-process
security, including the ability to safely run untrusted mobile code
(such as caplets).

A contract is a mutually agreeable arrangement of rules
among mutually suspicious parties so they may cooperate with limited
risks to each other's mischief. It is a game both are willing to
play because both expect to win.

A conventional contract is passive paper interpreted at great expense
by lawyers and courts.

A smart contract is written in program code, in which the
logic of the program's execution enforce the terms of the contract.
Smart contracts reduce costs by orders of magnitude, leading to
a more cooperative world.