port to Frege