submitted version to edoc