do we need both then ? at least add a TODO here: "TODO: figure out the precise specification about this"