Mixed strategies#Mixed strategy