A subset A of a Banach space X is called weakly sequentially compact ifrnevery sequence in A has a weak cluster point in X. The di_culty implicationrnof the Eberlein- _ Smulian theorem states that such a set is already relativelyrnweakly compact. This implication was proved by W. Eberlein