OK, Avimelech ben-Gideon is logged out now