From Haoran Peng
In week 4 we introduced Gentzen's sequents.
You should make sure you understand when a sequent is valid, and what it means to provide a counter-example to a sequent -- a universe in which the sequent is not valid.