for seq being Complex_Sequence holds |.seq.| " = |.(seq ").|