[math-fun] union codes