facts.py