Removed worst-case brute force estimate because it's probably more complex than we thought