both hol

.