I always forget how this is defined

and I hate figuring it out empirically.