Working on getting decLangProof working again