Formalize Rodents category