/cdf_extensional.P/1.9/Wed Aug 18 03:10:29 2010//
/cdf_intensional.P/1.7/Wed Aug 18 03:10:29 2010//
D
