sentence: related polytopes the octagon , as a truncated square , is first in a sequence of truncated hypercube : petrie polygons the octagon is the petrie polygon for these 12 higher-dimensional uniform polytope , shown in these skew orthogonal projection of in a 7 , b 4 , and d 5 coxeter plane .