Added a proof for minimal traces