SYMPHONY PROOF