Added example for fact