# BIB-1 doesn't have a server choice relation, so we just make the
# choice here, and use equality (which is clearly correct).
# BIB-1 doesn't have a server choice relation, so we just make the
# choice here, and use equality (which is clearly correct).