Week 15 Symbolic Logic (Continued)