Corrected mistake in definition of categories B and C.