Engineering choices
Choosing 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
43 of 55