Tying up theme models with core models