hop in let& in Models