Loved this:
> As with many other optimization techniques, it’s a trade off between soundness and completeness