Work-in-progress slides for talk about value semantics