BUT WHAT IS hardneck garlic, REALLY?