✏️ Editing: empty_sequence.hpp