Engineering
Chosing size of dataset - cleanliness vs reach
When to query and when to download
Granularity of proof language
Legacy systems without proper models
Tim Berners-Lee
40 of 52