Paul was a fun and respected colleague, always willing to help, and will be sorely missed. My condolences to his family and friends.
