Use latest Frege, enhancements