half-ogee-and-bullnose