Made : Rel, not Ord.  (See #24.)