entertainment provided after a main event or a formal program, such as an encore or a post-party performance