Fix exhLangProofs