(?´3`p[凸]q)