Updated to latest Frege.