S1, E4: Turning to logic puzzles by trying to distinguish between knights and knaves; starting with simple cases; "if-then" statements; what if the knight or knave is insane; adding a third category of normal people who are sometimes truthful, sometimes not.