Metadata: Needs

• Combine examples in generic language?
• Derive theorems
• Understand in intermediate agents
• Flexibility vs. tractability
• Mobile code vs. Visible data formats