2

• signature -- producers and observers
• generator universe -- equivalence classes
• initial model -- no junk, no confusion
• objects -- multiple world semantics