liveness.sml complete