- Working on Week 5 FOL lecture