refinement: add fact example to readme.