Added a couple of clarifying points to the knights and knaves example. Also gave the wikipedia link a more descriptive title.
Added a couple of clarifying points to the knights and knaves example. Also gave the wikipedia link a more descriptive title.