One of the curiosities about spreadsheets is that they can show the development of a logical argument in a step wise fashion. This blog shows how I attempted the most basic form of analysis for a Sudoku puzzle.
https://swaatacba.blogspot.com/2019/05/sudokua-game-of-control-and-error.html