That if a whole genus is a thing that can occur, so can the species; and if the species can occur, so can the genus: thus, if a sailing vessel can be made, so also can a trireme; and if a trireme, then a sailing vessel also.