Can anyone prove that := works as the documentation says it does?