add fact.ensureFree