Proof: Benefits of Untidiness