archivo extra con definiciones