concrete_fact