A method to prove Termination wherein the size of a Recursive Structure gets smaller after every step.