liveness: split between uses