This is already pretty well covered by the "Returns …" statement.