add fact-machine