Everybody — 2017 play, an adaptation of Everyman