add fact to example