complete the game in two column proof with the correct properties​