We usually check the inputs and throw `DeveloperError` if they are not defined.  Here and below.