lam is a value, it can't get stuck