default required and not nullable