There shouldnt be a default in this definition