Proof_game loading ...