Core Logic Model Components