Adding future_fact