Kreisel–Putnam_logic loading ...