20.16: Shaking and Stirring Martinis