updated syllabus links
added formulas
added logical operators
added entity equality tests
added between