Very sad. RIP Paul.