#Stanford #Logic class = HELL. Half of a day for one exercise..