Talk:Witt-Hall identity