GDL->core.logic underway