An antrochoanal polyp is, by definition, a maxillary polyp that passes though the maxillary antrum (ostium) and through the choana.