Pebble games were extensively studied in the 1970s and 1980s in a number of different contexts. The last decade has seen a revival of interest in pebble games coming from the field of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems. showing bounds on proof space. https://www.jmannino.com/hot-save-POWER-SW-BOARD-ASSY-P000662240-hot-choice/