given head

.