 The resulting syllogism is an expository syllogism since it has singular terms as subject terms, and so Darapti is proved. This method is reminiscent of ekthesis since it involves particular instantiation, though it is not the same method.