Definition of ChecIt user model