Added POE, more tutorials, second level, and change to Fact.toString that makes negations easier to look at.