another new thing is that they provably allow for some very effective pre-processing rules and the details of some of these are a little bit out of scope for this course, but we can get a bit of a taste for them by working at vertex cover and noticing a few key insights.