try proof general