Frege's_puzzle loading ...