And why does this definition lack a default?