Removed incorrect assertion (it's just a heuristic, no given)