Talk:Cantellated 7-cubes