By convention, `head` goes at the end of this block.