Lecture 17 - Mixed strategies, the basics