rewrite liveness