Segal Categories vs. Quasicategories