add Frege principle