Frege's theorem | lit.salon