Talk:H4 polytope