Create fact.py