Models and definition helpers