Lecture 12: Foundations and Systems - Capability Lists