h entail

.