characterization of non-crossing pairings; semicircle law for GUE (combinatorial proof of averaged version); definition of Wigner matrices