ongoing work on convex_core