Acomodando la sección de Agda