This is not fully accurate because the rules for "new variables" are different than the rules for dereferenceable LHS.