I edited this to not imply that defaulting
== implements it in terms of <=>. I've had at least one person confused about it