added a page about rules and correctness, and a tiny disclaimer.