Title: Frege Synthesized