No examples heads if no examples