@xiangli-cmu Sorry, I mean `LeaveCommand`.