This is checked before (note the various return statements).