Frege plugin