Part I
Foundations