. . "CLAIM: The liar???s guessing game for k and n is a win for B if and only if there exists a (k+1,n+1)-tree." . .