implement users model spec to green state