Solvable
Light puzzles with a proof attached