POLISCI 356A: Formal Theory I — Stanford Root