(Ver la sección 6.5.3).