(I think this is the commonly held definition, but I haven’t checked)