Frege's_puzzles loading ...