Overall with mouse_in, leaky_bucket abstractions