BUT WHAT IS Virgilio Martinez, REALLY?