Descripción formal.