Text this: Lectures on choquet's theorem