I didn't know Sean but he was highly thought of by our community here at Arm. I am sorry for your loss.