Unified variables and bound variables