Elephant garlic?

I harvested some 'fat garlic' last year. They were single fat bulbs. I suspected they were the result of some elephant garlic that I had planted the previous year. (I always have labels in my veggie beds, but birds sometimes pull them up and they get lost. Hence this query.)

Last autumn I planted these 'fat garlic' bulbs and look what the result is.
Good sized bulbs, with several fat cloves. Plus bulbils surrounding the bulb. I read up on elephant garlic, and this fits the bill. In autumn I shall plant those little bulbs, and probably some of the fat cloves, too.

But if anyone could confirm that this really is elephant garlic, I'd be very thankful. :)

Edited on 4 January: confirmation has come in - it is indeed elephant garlic. Thank you!