Describir: Procedimiento avanzado y axiomas