 More interestingly, Theophrastus introduced the so-called “prosleptic” (kata proslēpsin) syllogisms that have prosleptic premises, i.e., propositions with three terms of which two are definite and the other indefinite (frs. 110A–D FHS&amp;G). The following are prosleptic premises: