[math-fun] Chess underpromotions etc