Reading list: Boring-DNF