Talk:B7 polytope