are best thought of as a sequence of if-then statements: If $x$ is a number such that $3x + 2 = 5$, then $3x = 3$; if $3x = 3$, then $x = 1$. Continue reading “Truth and Consequences Revisited”