add the docs directory
more explanations for the basic facts and rules
more explanations