better references, more explicit semantic implications