Frege's_Puzzle loading ...