New proof general version