(end of Note; decorative separator)