 great, but a 255 average a year ago. He had a 755 OPS. He had 21 homers, 24 doubles, three triples, drove in 74 runs in 142 games. So look, they weren't going to pick up that option. We knew that they weren't going to come close to touching. What was it? I think a $9 million option on Eddie. We knew that was a foregone conclusion, but