(except this default implementation makes sense; just document it)