- Working on CS161 prop logic for week 4 lecture