OOPS! Forgot the proof…