Case on Penal Taxativity in the Definition of AI (Quintana Roo)