Main and liveness