It's not nullable so it must have a default value