We prove that every locally Cartesian closed oo-category with a subobject classifier has a strict initial object and disjoint and universal binary coproducts.