The notebook for logic.py has many things left to cover. I will start with KB section.
The notebook for logic.py has many things left to cover. I will start with KB section.