syntax explanation, clean up comments
Merge branch 'truthtables'