Pretty amazing tool, and I know how it works. Can someone explain why it works? Is there a proof for this method's validity?