For optimizations or proofs I suppose? Wouldn't know why else you would do something like that.