We need to set up exit interviews for the week.
Today we start the misty state formalism and prove this: