deductive closures