Deductive closure
 
x
OK