Title: Short rules for the game of whist