BUT WHAT IS Tomás Machado de Villefañe, REALLY?