Wrapped Liveness into World type.