you can even assert head == first.