The variable _ represents an anonymous variable; each instance of _ within a clause is taken care of being a refreshing variable. We enforce the necessity that each variable in a very clause should be certain. A variable X is sure if at the very least among the next disorders retains: That’