implement users model spec to red state