let
browse s = !current_browse s