_(Addressed in the main discussion.)_