Should not need `Objects.equal` any more: just `.equals(`.