171 problem starting up
Adding trace tool
Make the first test ok
Second fact ok
3rd fact
4th fact
5th fact
refactoring using condp
No more needing distinct
we can use conj
fixing doc
threading macro does not render the code shorter
shorter!
formatting