Set of real and hypothetical market requirements for security
Light cone checkpoints
Polymorphism thru Synergy (upgrade key to see if there is a better key than this)
Determinism; Bounded nondeterminism
Gates (like segments and
Give a feel for facilities expected by a Unix shell user.