D. Gorenstein has made the
following conjecture: suppose that G is a finite simple group which is simultaneously
of characteristic 2-type and characteristic 3-type. Then G is isomorphic to one of
PSp(4,3),G2(3) or U4(3). In this paper, we prove two results which, taken together,
yield a proof of this conjecture under the additional assumption that G has 2-local
3-rank at least 2.