liveness.sml