Conceptual proofs of the Menger and Rothberger games - Piotr Szewczak; Boaz Tsaban (2019)