(* Dominant Strategy Properties *)

<<Institutions`



x1 = Function[x, x[[1]] == 1]

secondpricedraw[k_] :=

  Flatten[{k Random[Real, {1, 10}], 0.5 Random[Real, {1, 10}],

      0.2 Random[Real, {1, 10}], 0.8 Random[Real, {1, 10}]}]

secondpayoff[k_] := Apply[Plus,

      Transpose[

          Select[Table[SecondPrice[secondpricedraw[k]], {1000}], x1]][[2]]]/k



secondpayoff[0.93]

secondpayoff[0.99]

ListPlot[Table[{k, secondpayoff[k]}, {k, .84, .99, .05}], PlotJoined -> True]