Juan Manuel Girao Sotomayor has not yet been mentioned.