I don't think there's a reason to define this here.