Wouldn't we want to define this manually to get better control?