Title: The bridge players' encyclopedia