A minimalist puzzle game of intuitionistic logic. Every room is a proposition: light it by proving it. A new daily puzzle, a classic mode with eight levels of difficulty, and a guided how-to.