Sad indeed and RIP John.