On the AND- and OR-Conjectures: Limits to Efficient Preprocessing - Andrew Drucker