have appeared, with some but not all of these high-value factors, nominally the use of procedural generation and permadeath, while often incorporating other gameplay genres, thematic elements, and graphical styles; common examples of these include Spelunky, FTL: Faster Than Light, The Binding of Isaac, Slay the Spire, Crypt of the NecroDancer,