Migrated verbatim and needs adjustments.