Problem_of_future_contingents loading ...