Started typing some Frege.