hernandezdef