fixed store
fixed fact algorithm