Add note on how to guarantee assignments in with statements