[Notation: salt] RE;