Top Cycles
Every top cycle:
is planar
is convex
does not bound a region in
M
has an orientable neighborhood