Model and base logic