So did he take a reduced buyout?