No need to add more definitions when the ones already there are good enough.